退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:模态代数的模态逻辑和张量积的乘积
Gabbay, Dov M.; Shapirovsky, Ilya; Shehtman, Valentin B.;
机译:模态逻辑乘积和模代数张量积
机译:模态逻辑产品。第三部分:模态和时间逻辑的乘积
机译:动态阶代数作为模态和时态逻辑的公理化
机译:使用Kripke结构和模态逻辑对产品线建模
机译:拓扑模态逻辑的乘积
机译:重建方法和X射线管电流-时间乘积对拟人化胸模中结节检测的影响:交叉模式JAFROC观察者研究
机译:用线性时间逻辑公理化模态逻辑的词典产品
机译:模态纯型系统中的priorean时态逻辑
机译:用于在特征空间中识别具有多模式分散的输出类别并将多模式结构合并到模式识别系统中的方法和计算机程序产品
机译:用于识别特征空间中具有多模式分散的输出类别并将多模式结构合并到模式识别系统中的方法和计算机程序产品
机译:时态,纵横比和模态的翻译处理方法及系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。